MDA applied: From Sequence Diagrams to Web Service Choreography
نویسندگان
چکیده
Web Services and Web Service composition languages for Web Service choreography are becoming more and more important in the area for inter-enterprise application and process integration. A huge amount of work has been done in the area of business process while web service composition languages have been the subject of intense research efforts recently. However the aspects of modeling these software systems have not been studied in detail, in contrast to the definition of business processes where well-known techniques exist. The model-driven architecture (MDA) approach of the Object Management Group is a good starting point for the development of Web Services and Web Service choreography. In this paper we show how platform independent models specified by UML 2 sequence diagrams can be automatically transformed in a Web Service composition language representation. We will start by introducing the notion of Web Services, Web Service compositions languages, and as well as MDA. After setting the global context of our work, we show theoretically and by a small case study how UML 2 sequence diagrams can be refined to Web service choreography.
منابع مشابه
Web Service Choreography Verification Using Z Formal Specification
Web Service Choreography Description Language (WS-CDL) describes and orchestrates the services interactions among multiple participants. WS-CDL verification is essential since the interactions would lead to mismatches. Existing works verify the messages ordering, the flow of messages, and the expected results from collaborations. In this paper, we present a Z specification of WS-CDL. Besides ve...
متن کاملChoreography Modeling and Analysis with Collaboration Diagrams
UML collaboration diagrams (called communication diagrams in [8]) provide a convenient visual model for specifying Web Service choreographies. A choreography specifies the desired set of interactions among a set of Web services. We formalize the interactions among Web services as conversations, i.e., the sequence of messages exchanged among the services, recorded in the order they are sent. Thi...
متن کاملOperative Semantic Web Services Oeuvre
Web service composition is one of the challenging issues that have been studiedover the past years. It consists of combining existing web services to best suit new user requirements. This paper suggests an UML profile to compose web services based on their behavioral aspects. The Web Service Description Language (WSDL) files are first transformed to Unified Modeling Language (UML) models; then ...
متن کاملSynthesizing an Automata-based Representation of BPMN2 Choreography Diagrams
Choreographies are an emergent Service Engineering approach to compose together and coordinate distributed services. They represent a global specification of the interactions between the participant services. BPMN2 provides a dedicated notation, called Choreography Diagrams, to define choreographies. This paper presents a model transformation to automatically transform a BPMN2 choreography spec...
متن کاملAnalyzing Interactions of Asynchronously Communicating Software Components
Since software systems are becoming increasingly more concurrent and distributed, modeling and analysis of interactions among their components is a crucial problem. In several application domains, message-based communication is used as the interaction mechanism, and the communication contract among the components of the system is specified semantically as a state machine. In the service-oriente...
متن کامل